61. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
Author: I.R. Goodman, H.T. Nguyen and E.A. Walker
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95G67
1991
62. Commonsense Reasoning
Author: \ Erik T. Mueller, IBM Watson Group and IBM Research.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
Classification :
E-Book
,
63. Commonsense reasoning /
Author: Erik T. Mueller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
Classification :
Q338
.
85
.
M84
2006eb
64. Computational Logic :
Author: edited by John W. Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
9
.
A96
E358
1990
65. Computational logic in multi-agent system
Author: / J?�rgen Dix, Jo?uo Leite (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses
Classification :
QA
,
76
.
9
,.
L63
,
C656
,
2004
66. Computational logic in multi-agent systems
Author: / Francesca Toni, Paolo Torroni (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses,CLIMA,Multi-agent systems,Computational logic
Classification :
QA
,
76
.
9
,.
L63
,
C67
,
2005
67. Computational pathology and ophthalmic medical image analysis :
Author: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
Classification :
RB38
68. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
69. Computing Meaning :
Author: edited by Harry Bunt, Reinhard Muskens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Linguistics.,Logic.
70. Connectomics in neuroimaging :
Author: Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Brain-- Imaging, Congresses.,Brain mapping, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Brain-- Imaging.,Brain mapping.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.
Classification :
RC386
.
6
.
B7
71. Constraint Solving and Language Processing
Author: edited by Denys Duchier, Yannick Parmentier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
72. Correct reasoning
Author: Esra Erdem ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Logic programming
Classification :
QA76
.
63
.
C67
2012eb
73. Current trends on knowledge-based systems
Author:
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining
Classification :
QA76
.
76
.
E95
C8
2017
74. Current trends on knowledge-based systems
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
006
.
3
C976
2017
21
75. Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis :
Author: Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Diagnostic imaging-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Health Informatics.,Image Processing and Computer Vision.,Algorithms & data structures.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Logic Design.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Program concepts-- learning to program.
Classification :
RC78
.
7
.
D53
76. Descriptional complexity of formal systems :
Author: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
Classification :
QA76
.
5913
D34
2019
77. Developments in Language Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Computers. ; Artificial intelligence. ; Logics and Meanings of Programs. ; -Computer logic. ; Natural language processing (Computer science). ; Computer science
78. Developments in Language Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
79. Discourse, Interaction and Communication :
Author: edited by Xabier Arrazola, Kepa Korta, Francis Jeffry Pelletier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Humanities.,Logic.
